101. Readings in Formal Epistemology
پدیدآورنده: edited by Horacio Arl??-Costa, Vincent F. Hendricks, Johan van Benthem
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Knowledge, Theory of,Logic, Symbolic and mathematical,Game theory
رده :
EBOOK
,
BD
R4
161
![](/design/images/bookmore.png)
102. Readings in Formal Epistemology :
پدیدآورنده: edited by Horacio Arló-Costa, Vincent F. Hendricks, Johan van Benthem.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Philosophy.,Game theory.,Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Mathematical theory of computation.,Mathematics-- Game Theory.,Mathematics-- Logic.,Philosophy-- Epistemology.,Philosophy.,Philosophy: epistemology & theory of knowledge.
رده :
BD143-237
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
103. Routledge philosophy guidebook to Wittgenstein and the Tractatus logico-philosophicus
پدیدآورنده: / Michael Morris.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
رده :
B3376
.
W563T7345
2008
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
104. The Arché papers on the mathematics of abstraction /
پدیدآورنده: edited by Roy T. Cook.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Abstraction.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Abstraction.,Logic, Symbolic and mathematical.,MATHEMATICS-- History & Philosophy.,Mathematics-- Philosophy.,Sciences humaines.,Sciences sociales.
رده :
QA8
.
4
.
A73
2007eb
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
105. The Art of the Intelligible :
پدیدآورنده: by John L. Bell.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra.,Geometry.,Logic, Symbolic and mathematical.,Philosophy (General),Science-- Philosophy.,Algebra.,Geometry.,Logic, Symbolic and mathematical.,Science-- Philosophy.
رده :
B67
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
106. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده: edited by Stewart Shapiro
کتابخانه: کتابخانه و مرکز اسناد فرهنگستان هنر (تهران)
موضوع: ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical -- Philosophy
رده :
QA
8
.
4
.
O94
2005
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
107. The logical syntax of language
پدیدآورنده: Carnap, Rudolf, 1981-0791.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Grammar, Comparative and general -- Syntax,، Logical positivism,، Logic, Symbolic and mathematical
رده :
BC
135
.
C27L613
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
108. The logical syntax of language
پدیدآورنده: By Rudolf Carnap
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع: Grammar, Comparative and general--Syntax,Logical positivism.,Logic, Symbolic and mathematical.
![](/design/images/bookmore.png)
109. The logical syntax of language
پدیدآورنده: Carnap, Rudolf, 1981-0791.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Syntax ، Grammar, Comparative and general,، Logical positivism,، Logic, Symbolic and mathematical
رده :
BC
135
.
C27L5913
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
110. The mathematical experience
پدیدآورنده: Philip J. Davis, Reuben Hersh, Elena Anne Marchisotto
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Mathematics-- History,Mathematics-- Philosophy,Mathematics-- Study and teaching
رده :
QA8
.
4
.
D37
2012eb
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
111. The origin of the logic of symbolic mathematics :
پدیدآورنده: Burt C. Hopkins
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA9
.
H66
2011
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
112. Towards an arithmetical logic :
پدیدآورنده: by Yvon Gauthier
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA1-939
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
113. Trends in Logic
پدیدآورنده: edited by Vincent F. Hendricks, Jacek Malinowski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Coding theory.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
![](/design/images/bookmore.png)
114. Truthlikeness
پدیدآورنده: by Ilkka Niiniluoto.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
![](/design/images/bookmore.png)
115. Visualization, Explanation and Reasoning Styles in Mathematics
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematics. ; Science ; Philosophy. ; Visualization. ; Mathematics_$xHistory. ; Logic, Symbolic and mathematical. ; Mathematics. ; Mathematics, general. ; Visualization. ; History of Mathematics. ; Mathematical Logic and Foundations. ; Philosophy of Scie
![](/design/images/bookmore.png)